根的存在定理的推广及其应用

众所周知，在《数学分析》中会遇到连续函数的一个重要定理，即根的存在定理，此定理对方程根的存在性判别起着重要作用.将这方面已有的定理进行推广，并用例题说明其应用情况.     

海、陆两用风力发电实验平台设计

在风电场通过现场测试分析研究风力机性能由于受到现场环境的限制,能够获得的研究数据有限,室内模拟实验平台能够有效弥补研究不足.为此提出了一种海、陆两用风力发电实验平台方案.该实验平台由来风装置、风轮、发电机、两段式塔架、漂浮台、波浪产生装置、传感检测和数据采集系统等构成.在实验平台整体方案基础上,进行了结构参数设计,建立了漂浮台受力分析模型并获得了合理的结构参数,以Lab VIEW为开发环境设计了上位机运行状态监控系统.最后,基于构建的实验平台,开展了部分风力机动态特性研究工作,对比分析了模拟陆地风力机和海上漂浮式风力机时塔架振动特性,为进一步深入开展风力机动态特性研究提供了基础.     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

桅杆结构数据采集软件

文章介绍了桅杆结构数据采集软件的编制 ,并基于HY -8021多功能数据采集板与光电位置传感器的特性 ,使得该软件可满足以低频振动为主的建筑工程结构数据采集的要求。     

转型期乡镇集体企业模糊产权的根源与明晰途径

明晰的产权意味着财产所有者对其财产的各个方面具有完全的控制权，模糊产权实际上是最终控制权模糊性．我国的乡镇集体企业是产权模糊的典型。从政企关系、市场体系、经营者的激励等方面可探明转型期乡镇企业模糊产权的形成原因．转型期政府与企业的关系决定了模糊产权的存在是社会强制机制作用的结果，转型期不完善的市场体系是导致模糊产权形成的环境因素，企业经营者的控制权激励是模糊产权得以延续的制度根源．     

大型火电厂仿真机技术的现代进展

近年来,由于仿真技术、火电厂控制技术、计算机技术和软件工程的发展,引起火电仿真机技术的变化。本文详细讨论了这些变化的原因和一些新的概念与新的技术进展,并说明我们的实践。     

利用ICAP／4仿真系统进行电子电路虚拟实验

以串联型稳压电源为例，介绍利用数／模混合电路仿真软件系统ICAP／4进行虚拟实验及故障诊断的方法，并给出仿真波形。     

40Cr大轴断裂分析

对冶金矿山某产品的40Cr材料制作的大轴热处理后发生断裂现象，进行了理化检验及综合分析，找出了造成大轴断裂原因－首先是由于存在淬火应力，而未得到及时回火，其次是原材料中存在严重的冶金缺陷。     

CFD-ACE＋软件对PCR微芯片传热过程的数值模拟和分析

针对基于MEMS技术的PCR微芯片温度控制难的问题，通过对该芯片的传热过程进行简化并建立物理模型和数学模型，对芯片内部的热传导和温度变化过程进行了理论推导分析。利用CFD-ACE＋软件对芯片的热传导过程进行了数值模拟。模拟结果表明，该芯片具有较高的升、降温速度。芯片在自行构建的温度控制系统下进行了热循环反应，对GUS基因成功实现了扩增。     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.